Software Security Publications

Publications in Software Security

Explore the most influential research papers and scholarly works that have shaped Software Security. Use the concept filter below to focus on a specific sub-area of research.

Software Security

6.6K

Publications

370.8K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones William Enck, Peter Gilbert, Byung-Gon Chun, Operating Systems Design and Implementation Mobile SecurityEngineeringInformation SecurityPotential MisuseInformation Forensics	2010	2.3K
Language-based information-flow security Andrei Sabelfeld, Andrew C. Myers IEEE Journal on Selected Areas in Communications Secret Input DataEngineeringInformation SecuritySoftware AnalysisFormal Verification	2003	1.9K
Proof-carrying code George C. Necula EngineeringInformation SecurityProof ValidationVerificationFormal Verification	1997	1.8K
FlowDroid Steven Arzt, Siegfried Rasthofer, Christian Fritz, Mobile SecurityEngineeringInformation SecurityInformation ForensicsMobile Device Forensics	2014	1.4K
Intrusion detection using sequences of system calls Steven Hofmeyr, Stephanie Forrest, Anil Somayaji Journal of Computer Security EngineeringInformation SecuritySoftware AnalysisFormal VerificationHardware Security	1998	1.3K
Android permissions demystified Adrienne Porter Felt, Erika Chin, Steve Hanna, Mobile SecurityEngineeringInformation SecuritySoftware EngineeringAndroid Api	2011	1.3K
The geometry of innocent flesh on the bone Hovav Shacham EngineeringCompiler TechnologyComputer ArchitectureX86 Instruction SetAnatomical Model	2007	1.3K
TaintDroid William Enck, Peter Gilbert, Seungyeop Han, ACM Transactions on Computer Systems Private DataSoftware SecurityAnalysis SystemOperating SystemsEngineering	2014	1.2K
Why Johnny can't encrypt: a usability evaluation of PGP 5.0 Alma Whitten, J. D. Tygar EngineeringUsable SecurityInformation SecurityCryptographic TechnologyCommunication	1999	1.1K
Innovative instructions and software model for isolated execution Frank Mckeen, Ilya Alexandrovich, Alex Berenzon, Isa ExtensionEngineeringInformation SecurityComputer ArchitectureConfidential Computing	2013	1.1K
Protection in operating systems Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman Communications of the ACM EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	1976	1K
JFlow Andrew C. Myers EngineeringInformation SecurityVerificationSoftware EngineeringSoftware Analysis	1999	1K

Page 1